viewSelector: Remove shortcut to switch between tabs

We no longer have tabs, so it no longer makes sense to keep the shortcut.

https://bugzilla.gnome.org/show_bug.cgi?id=682109

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index 3e1ec3728d2960585543fc822cb0b98417f976be..9fa47629e5fe6b339acb06c1b5da7c2d9bde8722 100644 (file)
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -493,29 +493,6 @@ const ViewSelector = new Lang.Class({
         this._showAppsButton.checked = false;
     },
 
-    _nextTab: function() {
-        if (this._tabs.length == 0 ||
-            this._tabs[this._tabs.length - 1] == this._activeTab)
-            return;
-
-        for (let i = 0; i < this._tabs.length; i++)
-            if (this._tabs[i] == this._activeTab) {
-                this._switchTab(this._tabs[i + 1]);
-                return;
-            }
-    },
-
-    _prevTab: function() {
-        if (this._tabs.length == 0 || this._tabs[0] == this._activeTab)
-            return;
-
-        for (let i = 0; i < this._tabs.length; i++)
-            if (this._tabs[i] == this._activeTab) {
-                this._switchTab(this._tabs[i - 1]);
-                return;
-            }
-    },
-
     _onStageKeyPress: function(actor, event) {
         let modifiers = event.get_state();
         let symbol = event.get_key_symbol();
@@ -530,15 +507,7 @@ const ViewSelector = new Lang.Class({
                    (symbol == Clutter.BackSpace && this._searchTab.active)) {
             this._searchTab.startSearch(event);
         } else if (!this._searchTab.active) {
-            if (modifiers & Clutter.ModifierType.CONTROL_MASK) {
-                if (symbol == Clutter.Page_Up) {
-                    this._prevTab();
-                    return true;
-                } else if (symbol == Clutter.Page_Down) {
-                    this._nextTab();
-                    return true;
-                }
-            } else if (symbol == Clutter.Tab) {
+            if (symbol == Clutter.Tab) {
                 this._activeTab.page.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);
                 return true;
             } else if (symbol == Clutter.ISO_Left_Tab) {